Phương trình đại số phi tuyến, được xác định bằng cách cân bằng đa thức với không. Ví dụ:

Đối với một phương trình đại số đơn thức, thuật toán tìm nghiệm có thể được sử dụng để tìm lời giải cho phương trình (ví dụ, bộ giá trị cho các biến thỏa mãn phương trình). Tuy nhiên, các hệ phương trình đại số thì phức tạp hơn; Nghiên cứu chúng là một trong những động lực cho các lĩnh vực hình học đại số, một nhánh khó của toán học hiện đại. Nó thậm chí còn khó để quyết định liệu một hệ đại số cho trước có lời giải phức tạp hay không (xem Nullstellensatz của Hilbert). Tuy nhiên, trong trường hợp của các hệ thống với một số hữu hạn các lời giải phức tạp, các hệ phương trình đa thức bây giờ cũng được hiểu và đã có phương pháp hiệu quả để giải chúng.[2]